Cirquent Calculus Deepened
نویسندگان
چکیده
منابع مشابه
Cirquent calculus deepened
Cirquent calculus is a new proof-theoretic and semantic framework, whose main distinguishing feature is being based on circuit-style structures (called cirquents), as opposed to the more traditional approaches that deal with tree-like objects such as formulas, sequents or hypersequents. Among its advantages are greater efficiency, flexibility and expressiveness. This paper presents a detailed e...
متن کاملDeduction Theorem for Symmetric Cirquent Calculus
Cirquent calculus is a recent approach to proof theory, whose characteristic feature is being based on circuit-style structures (called cirquents) instead of the traditional formulas or sequents. In this paper we prove the deduction theorem for the symmetric version of cirquent calculus, and show that the derivation in the deduction theorem will be at most polynomially longer than the proof of ...
متن کاملThe Computational Complexity of Propositional Cirquent Calculus
Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive system with a more explicit ability to reason about resources. In particular, cirquent calculus has been instrumental in axiomatizing various fundamental fragments of Computability Logic, a formal theory of (interactive) computability. The s...
متن کاملElementary-base cirquent calculus I: Parallel and choice connectives
Cirquent calculus is a proof system manipulating circuit-style constructs rather than formulas. Using it, this article constructs a sound and complete axiomatization CL16 of the propositional fragment of computability logic (the game-semantically conceived logic of computational problems - see http://www.csc.villanova.edu/~japaridz/CL/ ) whose logical vocabulary consists of negation and paralle...
متن کاملA cirquent calculus system with clustering and ranking
Cirquent calculus is a new proof-theoretic and semantic approach introduced by G.Japaridze for the needs of his theory of computability logic. The earlier article “From formulas to cirquents in computability logic” by Japaridze generalized the concept of cirquents to the version with what are termed clusterng and ranking, and showed that, through cirquents with clustering and ranking, one can c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2008
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exn019